Definition

A free monoid on a set is the monoid whose elements are finite sequences (or strings) of zero or more elements from the set, with string concatenation as the monoid operator and the empty string (sequence of zero elements) as the identity element.

See also

References

  1. https://en.wikipedia.org/wiki/Free_monoid#Kleene_star